Constructive set theory - PDFSEARCH.IO - Document Search Engine

Constructive set theory
Results: 37

#	Item
31	100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf Add to Reading List Source URL: www.math.kth.se Language: English - Date: 2006-02-08 12:22:57 Set theory Constructive set theory Intuitionism Mathematical constructivism Axiom of choice Zermelo–Fraenkel set theory Constructivism Axiom Function Mathematical logic Mathematics Logic
32	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Add to Reading List Source URL: www.math.unipa.it Language: English - Date: 2009-02-01 11:27:30 Sheaf theory Sheaf Functor Topos Grothendieck topology Presheaf Initial and terminal objects Adjoint functors Zermelo–Fraenkel set theory Category theory Mathematics Abstract algebra
33	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011) Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-07 04:22:12 Set theory Constructible universe Function Well-founded relation Transfinite induction Ordinal arithmetic Continuous function Ε₀ Surreal number Mathematics Mathematical logic Ordinal numbers
34	Constructive set theory – an overview Benno van den Berg Utrecht University Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2012-09-10 05:26:08 Z notation Constructive set theory Intuitionism Zermelo–Fraenkel set theory Set theory Axiom of choice Axioms of set theory Constructible universe Ordinal analysis Mathematical logic Logic Mathematical constructivism
35	Constructive Set Theories and their Category-theoretic Models Alex Simpson∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-03 11:00:11 Model theory Constructive set theory Intuitionism Mathematical constructivism Constructivism Peano axioms First-order logic Function Interpretation Mathematical logic Mathematics Logic
36	PDF Document Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:56:02 Axioms of set theory Ordinal numbers Proof theory Z notation Constructive set theory Axiom schema of replacement Ordinal analysis Kripke–Platek set theory Constructible universe Mathematical logic Mathematics Logic
37	PDF Document Add to Reading List Source URL: www.jaist.ac.jp Language: English - Date: 2010-09-15 04:17:35 Logic Axiom of choice Set theory Function Type theory Realizability Constructive set theory Constructivism Mathematical constructivism Mathematical logic Mathematics